a:Id, l:IdLnk, tg:Id. locl(a) = rcv(l,tg)  Knd  False 

latex

Definitions	Knd, rcv(l,tg), locl(a), Prop, IdLnk, t  T, Id, x:A. B(x), P  Q, False
Lemmas	not rcv locl, Id wf, IdLnk wf, rcv wf, locl wf, Knd wf